#include<bits/stdc++.h>

using namespace std;

int main() {
    int x, t = 1;
    while (cin >> x) {
        if (x == 0)break;
        printf("Case %d: %d\n", t++, x);

    }

    return 0;
}
